Recursively enumerable set - PDFSEARCH.IO - Document Search Engine

Recursively enumerable set
Results: 50

#	Item
21	2 Alice: Vittorio: Riccardo: Sergio: Alice: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Applied mathematics Theory of computation Computable function Function Computability Reduction Recursively enumerable set Decision problem Halting problem Theoretical computer science Mathematics Computability theory
22	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
23	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
24	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
25	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
26	The Intensional Content of Rice’s Theorem (Pearl) Andrea Asperti Department of Computer Science, University of Bologna Mura Anteo Zamboni 7, 40127, Bologna, ITALY [removed] Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-31 03:46:45 Mathematics Theory of computation Blum axioms Computable function ELEMENTARY Recursively enumerable set Smn theorem Computational complexity theory Lambda calculus Theoretical computer science Computability theory Applied mathematics
27	ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS RODNEY G. DOWNEY, CARL G. JOCKUSCH, JR., AND PAUL E. SCHUPP Abstract. We study connections between classical asymptotic density, computability and computable enumerabilit Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-07-19 19:14:33 Mathematics Computer science Computable function Recursive set Recursively enumerable set Enumeration Generic-case complexity Halting problem Low Computability theory Theory of computation Theoretical computer science
28	ASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY ROD DOWNEY, CARL JOCKUSCH, TIMOTHY H. MCNICHOLL, AND PAUL SCHUPP Abstract. We classify the asymptotic densities of the ∆02 sets according to their level in the Ershov hierarc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:38 Field theory Computable number Real closed field Natural density Recursively enumerable set Limit superior and limit inferior Itō diffusion Mathematics Theory of computation Computability theory
29	Questions in Recursion Theory December 1997 This is an informal list of some open problems in recursion theory. Solutions and new questions are welcome, as well as corrections to the attributions given below. Please, sen Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2002-11-21 07:33:52 Mathematics Recursively enumerable set Turing degree Maximal set Creative and productive sets Simple set Low High Recursive set Computability theory Theoretical computer science Mathematical logic
30	Generators and Automorphism Bases of the Computably Enumerable Degrees Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Computability theory Theory of computation Field theory Recursively enumerable set Splitting lemma Field Mathematics Algebraic structures Algebra